Imperatives as Obligatory and Permitted Actions
نویسندگان
چکیده
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions and unlike the so-called “standard solution” (Huntley, 1984) these operators act over actions rather that over statements. Then by distinguishing obligatory from non obligatory actions we tackle the paradox of Free Choice Permission (FCP).
منابع مشابه
Imperatives and Deontic Logic
Deontic logic has so far been almost exclusively interpreted by a possible worlds semantics and ideality or preference relations between the worlds. In distinguishing itself from attempts at a logic of norms or logic of imperatives, deontic logic has portrayed its formulas as ‘deontic propositions’, true or false statements about what is obligatory, permitted or forbidden according to some unsp...
متن کاملOn the Representation of Normative Sentences in FOL
Rules, regulations and policy statements quite frequently contain nested sequences of normative modalities as in, for example: • The database manager is obliged to permit the deputy-manager to authorise access for senior departmental staff. • Parking on highways ought to be forbidden. Marcus (1966) Accordingly, a knowledge-representation language for such sentences must be able to accommodate n...
متن کاملDeontic Action Programs
We introduce the concept of an Action Policy in the context of databases. Intuitively, such a policy tells us which from a collection of actions must be executed (i.e. are obligatory), which are forbidden from being executed, and which are permitted (but not obligatory) given a state of the database. We approach this by a rule-based action language which uses concepts of deontic logic. We defin...
متن کاملPrivacy Policies with Modal Logic: The Dynamic Turn
Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we ...
متن کاملNew Foundations for Deontic Logic: a Preliminary Sketch
I outline six components of a comprehensive proposal for overhauling the foundations of deontic logic. (1) Actions and prescriptions are temporally indexed; more precisely, they attach to nodes of a tree in a branching time structure. (2) Actions are (modeled as) sets of branches and can be coarseor fine-grained depending on whether or not they have proper subsets which are also actions. (3) Pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003